Quantifying information flow with beliefs
نویسندگان
چکیده
منابع مشابه
Quantifying information flow with beliefs
To reason about information flow, a new model is developed that describes how attacker beliefs change due to the attacker’s observation of the execution of a probabilistic (or deterministic) program. The model enables compositional reasoning about information flow from attacks involving sequences of interactions. The model also supports a new metric for quantitative information flow that measur...
متن کاملQuantifying information flow with constraints
Quantifying flow of information in a program involves calculating how much information (e.g. about secret inputs) can be leaked by observing the program’s public outputs. Recently this field has attracted a lot of research interest, most of which makes use of Shannon’s information theory, e.g. mutual information, conditional entropy, etc. Computability entails that any automated analysis of inf...
متن کاملQuantifying Information Flow
We extend definitions of information flow so as to quantify the amount of information passed; in other words, we give a formal definition of the capacity of covert channels. Our definition uses the process algebra CSP, and is based upon counting the number of different behaviours of a high level user that can be distinguished by a low level user.
متن کاملQuantifying Information Flow During Emergencies
Recent advances on human dynamics have focused on the normal patterns of human activities, with the quantitative understanding of human behavior under extreme events remaining a crucial missing chapter. This has a wide array of potential applications, ranging from emergency response and detection to traffic control and management. Previous studies have shown that human communications are both t...
متن کاملQuantifying information flow in cryptographic systems
We provide a novel definition of quantitative information flow, called transmissible information, that is suitable for reasoning about informational-theoretically secure (or non-cryptographic) systems, as well as about cryptographic systems with their polynomially bounded adversaries, error probabilities, etc. Transmissible information captures deliberate communication between two processes, an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer Security
سال: 2009
ISSN: 1875-8924,0926-227X
DOI: 10.3233/jcs-2009-0353